Formal methods

Results: 2204



#Item
11

Formal Methods for MILS: Formalisations of the GWV Firewall Ruud Koolen and Julien Schmaltz Eindhoven University of Technology Department of Mathematics and Computer Science

Add to Reading List

Source URL: mils-workshop-2015.mils.community

Language: English - Date: 2015-01-27 02:22:52
    12

    National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L4: Regular languages?

    Add to Reading List

    Source URL: muwo1.unibo.it

    Language: English - Date: 2017-07-07 10:14:12
      13

      Formal Methods at Intel — An Overview John Harrison Intel Corporation Second NASA Formal Methods Symposium NASA HQ, Washington DC 14th April:00–10:00)

      Add to Reading List

      Source URL: sist.shanghaitech.edu.cn

      Language: English - Date: 2017-06-02 02:14:10
        14

        Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer ·

        Add to Reading List

        Source URL: people.rennes.inria.fr

        Language: English - Date: 2015-10-26 09:37:06
          15

          National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L6a: Symbolic models for stable nonlinear systems?

          Add to Reading List

          Source URL: muwo1.unibo.it

          Language: English - Date: 2017-07-07 10:12:38
            16

            SIDRA Ph.D. School 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications July 3-5, 2017 Coordinators:

            Add to Reading List

            Source URL: muwo1.unibo.it

            Language: English - Date: 2017-04-03 08:57:07
              17

              Appendix for FASE System Description System: The Integrating Object-Oriented Design and Formal Methods

              Add to Reading List

              Source URL: ceres.hh.se

              Language: English - Date: 2015-05-16 14:54:06
                18

                Lessons from the JML Project Gary T. Leavens and Curtis Clifton TR #05-12a April 2005, Revised JulyKeywords: verifying compiler, specification, verification, formal methods, formal interface specification, extensi

                Add to Reading List

                Source URL: curtclifton.net

                Language: English - Date: 2016-12-07 10:57:50
                  19

                  Use of Formal Methods at Amazon Web Services Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff Amazon.com 29th September, 2014 Since 2011, engineers at Amazon Web Services (AWS) have b

                  Add to Reading List

                  Source URL: lamport.azurewebsites.net

                  Language: English - Date: 2014-10-24 08:52:42
                    20

                    Future Challenges for Linked APIs Steffen Stadtm¨uller, Sebastian Speiser, and Andreas Harth Karlsruhe Institute of Technology, Institute of Applied Informatics and Formal Description Methods (AIFB) firstname.lastname@k

                    Add to Reading List

                    Source URL: ceur-ws.org

                    Language: English - Date: 2013-10-11 05:19:45
                      UPDATE